Compositional Verification of Timing Constraints for Embedded Real-Time Systems
· One min read
저자: Hui Guo, Woo Jin Lee
게재/발표: WSEAS Conference on Applied Computer Science, Hangzhou, China, April 15-17, 2007.
분야: Real-Time Systems, Timing Constraints, Formal Methods, Verification
임베디드 실시간 시스템의 타이밍 제약을 컴포지셔널 방식으로 검증하는 기법을 제안합니다.